22. Concise guide to software engineering :
Author: Gerard O'Regan.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Software engineering.,Software engineering.
Classification :
QA76
.
758
.
O66
2017
23. Concise guide to software engineering :
Author: Gerard O'Regan.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Software engineering.,Software engineering.
Classification :
QA76
.
758
24. Embedded systems and software validation
Author: Roychoudhury, Abhik.
Library: Library of Razi Metallurgical Research Center (Tehran)
Subject: Design and construction ، Embedded computer systems,Testing ، Embedded computer systems,Testing ، Computer software
Classification :
TK
7895
.
E42
R72
2009
25. Enterprise DevOps framework :
Author: Shamayel M. Farooqui.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Development.,Computer system conversion.,Information technology-- Management.,Operating systems (Computers),Computer software-- Development.,Computer system conversion.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Information technology-- Management.,Network hardware.,Operating systems (Computers)
Classification :
QA76
.
9
.
C68
26. Formal Aspects of Component Software :
Author: edited by Corina S. Pasareanu, Gwen Salaün.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Software engineering.
27. Formal Methods and Software Engineering :
Author: Toshiaki Aoki ... (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Fehlertoleranz.,Formale Methode.,Model Checking.
Classification :
QA76
.
9
.
F67
T674
2012
28. Formal Methods for Distributed System Development :
Author: PSTV 2000 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Verification (PSTV XX) October 10-13, 2000, Pisa, Italy / edited by Tommaso Bolognesi, Diego Latella.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Electronic data processing.,Software engineering.
29. Formal methods for protocol engineering and distributed systems :
Author: edited by Jianping Wu, Samuel T. Chanson, Qiang Gao.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer network protocols -- Congresses.,Electronic data processing -- Distributed processing -- Congresses.,Formal methods (Computer science) -- Congresses.
Classification :
QA76
.
9
.
F67
E358
1999
30. Formal techniques for networked and distributed systems
Author: / Edited by Myungchul Kim ... [et al.]
Library: Imam Reza International University library and information center (Khorasan Razavi)
Subject: Formal methods (Computer science)--Congresses,Electronic data processing--Distributed processing--Congresses,Computer network protocols--Congresses
Classification :
EB
,
QA76
.
9
F67I579
2001
31. Formal techniques for networked and distributed systems :FORTE 2001 : IFIP TC6 WG6.1--21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea
Author: edited by Myungchul Kim ... ]et al.[
Library: Central Library of Hamedan University of Technology (Hamedan)
Subject: Congresses ، Formal methods )Computer science(,Congresses ، Electronic data processing - Distributed processing,Congresses ، Computer network protocols
Classification :
QA
76
.
9
.
F67
I579
32. Formal techniques for networked and distributed systems: 21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea [electronic resource]
Author: / Edited by Myungchul Kim ... [et al]
Library: Imam Reza International University library and information center (Khorasan Razavi)
Subject: Formal methods (Computer science)--Congresses,Electronic data processing--Distributed processing--Congresses,Computer network protocols--Congresses
Classification :
EB
,
QA76
.
9
.
F67
,
I579
2001
33. Gray hat hacking :
Author: Dr. Allen Harper, Daniel Regalado, Ryan Linn, Stephen Sims, Branko Spasojevic, Linda Martinez, Michael Baucom, Chris Eagle, Shon Harris.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer security, Handbooks, manuals, etc.,Hackers.,Penetration testing (Computer security), Handbooks, manuals, etc.,Computer security.,Hackers.,Penetration testing (Computer security)
Classification :
QA76
.
9
.
A25
34. Handbook of computer crime investigation :
Author: edited by Eoghan Casey.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer crimes-- Investigation, Handbooks, manuals, etc.,Evidence, Criminal, Handbooks, manuals, etc.,Forensic sciences, Handbooks, manuals, etc.,Criminalistique, Guides, manuels, etc.,Criminalité informatique-- Enquêtes, Guides, manuels, etc.,Preuve (Droit pénal), Guides, manuels, etc.,Computer crimes-- Investigation.,Evidence, Criminal.,Forensic sciences.,LAW-- Forensic Science.
Classification :
HV8079
.
C65
H36
2002eb
35. Intelligence computation and evolutionary computation :
Author: Zhenyu Du (ed.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computational intelligence -- Congresses.,Evolutionary computation -- Congresses.,Intelligence informatique -- Congrès.
36. Mathematical and Engineering Methods in Computer Science :
Author: 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012 ; Antonín Kučera [und weitere] (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: PROGRAMME UND ALGORITHMEN ZUR LÖSUNG SPEZIELLER PROBLEME,SPEZIELLE PROGRAMMIERMETHODEN,THEORETISCHE INFORMATIK
Classification :
QA75
.
5
T456
2013
37. Modern Buddhist cultures -- The cultural practices of Buddhist modernity -- Shanghai Buddhism -- Vegetarian identities --
Author: Francesca Tarocco.
Library: Library of Islamic Parliament (Tehran)
Subject:
38. NASA Formal Methods :
Author: Julia M. Badger, Kristin Yvonne Rozier (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Formal methods (Computer science), Congresses.,Formal methods (Computer science)
Classification :
QA76
.
9
.
F67
N45
2019
39. Open source software--New horizons :
Author: Pär Ågerfalk [and others], (Eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Informatique.,Open source software -- Congresses.,Open source software.
Classification :
QA76
.
76
.
S46
P373
2010
40. Practical UML statecharts in C/C++ :
Author: Miro Samek.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Development.,Formal methods (Computer science),Object-oriented programming (Computer science),Statecharts (Computer science),System design.,UML (Computer science),Computer software-- Development.,Computer software-- Development.,COMPUTERS-- Programming-- Object Oriented.,Formal methods (Computer science),Formal methods (Computer science),Object-oriented programming (Computer science),Object-oriented programming (Computer science),Statecharts (Computer science),Statecharts (Computer science),System design.,System design.,UML (Computer science),UML (Computer science)
Classification :
QA76
.
9
.
S88
S26
2009eb
